max [ Y , max $integral dY$ ( WORLDBATH bath ) ]